make sure that GHC 7.7 compiles this (warning free)