Экземпляр MonadFix для Put

Надеюсь, простой вопрос: пакет binaryопределяет два типа:Getи Put. Первый по существу является государственной монадой, а второй по существу является писателем.И состояние, и запись имеют разумные экземпляры MonadFix, так что я ожидаю, что Getи Putтакже будут.

Getделает. Putнет. Итак, возможно ли определить соответствующий экземпляр MonadFixдля Put(на самом деле дляPutM)?

Более общий вопрос: как обычно можно проверить, действительно ли экземпляр класса типов удовлетворяет законам этого класса типов?