fmap buildX . buildX = buildX . fmap buildX