compile-error.txt

compile-error.txt

  No type class instance was found for

    Control.Monad.Monad m0


while checking that expression { path: [ "contact"
                                       ]
                               , GET: handler (\conn ->
                                                 ...
                                              )
                               , POST: notSupported
                               }
  has type forall m req res rw c.
             ( Monad m
             , ResponseWriter rw m
             ) => { path :: Array String
                  , GET :: ResourceMethod Supported m
                             { request :: { path :: Array String
                                          , method :: Method
                                          | req
                                          }
                             , response :: { writer :: rw
                                           , state :: HeadersClosed
                                           | res
                                           }
                             , components :: c
                             }
                             { request :: { path :: Array String
                                          , method :: Method
                                          | req
                                          }
                             , response :: { writer :: rw
                                           , state :: ResponseEnded
                                           | res
                                           }
                             , components :: c
                             }
                  , POST :: ResourceMethod Unsupported m
                              { request :: { path :: Array String
                                           , method :: Method
                                           | req
                                           }
                              , response :: { writer :: rw
                                            , state :: HeadersClosed
                                            | res
                                            }
                              , components :: c
                              }
                              { request :: { path :: Array String
                                           , method :: Method
                                           | req
                                           }
                              , response :: { writer :: rw
                                            , state :: ResponseEnded
                                            | res
                                            }
                              , components :: c
                              }
                  }
while applying a function handler
  of type forall m req req' res res' c c'.
            ({ request :: req
             , response :: res
             , components :: c
             }
             -> m
                  { request :: req'
                  , response :: res'
                  , components :: c'
                  }
            )
            -> ResourceMethod Supported m
                 { request :: req
                 , response :: res
                 , components :: c
                 }
                 { request :: req'
                 , response :: res'
                 , components :: c'
                 }
  to argument \conn ->
                (html ((...) (...))) conn
in binding group contact, about

where m0 is a rigid type variable
 [NoInstanceFound]