Number.ResidueClass.Maybe
data
T
a
(/:)
matchMaybe
isCompatibleMaybe
isCompatible
lift2