2012/06
2012/07
2012/08
http://www.haskell.org/ghc/docs/7.4.2/html/users_guide/type-families.html#type-instance-declarations the right-hand side of a type instance must be a monotype というのに引っかかってるのかな