Get rid of Lifted typeclass by introducing Domain type family