Not sure what those classes are but that is called superspecialization and JHC can do it with a compiler flag. I thought GHC also could, in at least some situations or if you use {#- inline -#}