check p f n = if p n then return (f n) else Nothing

ドメインて何？