Need FlexibleContexts on GHC HEAD