I think I'm encountering a GHC bug