Get rid of view patterns due to GHC bugs