type instance MyFam (Maybe a) = a -> Bool