module Silly where

import Requiring
import Missing

needs : Aggregate a -> Aggregate (Possibly a)
needs a =
  requiring 1 a

error : Possibly a
error = missing