「型パズルは解けたけど動きませんでした」という場合のわりとあるパターンとしては、条件の厳しい型クラスを作ることで、型チェックは通るのだてど、その型クラスのインスタンスにできるようなまともな型が作れないみたいな話。