softmechanics

{-# LANGUAGE FlexibleInstances 
           , FlexibleContexts
           , MultiParamTypeClasses
           , TypeSynonymInstances
           , FunctionalDependencies
           , UndecidableInstances
           #-}
module CombineForm where

import Yesod

softmechanics

{-# LANGUAGE TemplateHaskell
           , QuasiQuotes
           , OverloadedStrings
           , TypeFamilies
 #-}

import Yesod
import Yesod.Handler

import Data.Maybe

softmechanics

{-# LANGUAGE FlexibleInstances, UndecidableInstances, ContextConstraints #-}

{- in response to http://www.reddit.com/r/haskell/comments/bxdi2/ask_what_would_be_your_dream_xs/c0p1r55 -}

import Control.Monad

class Func m where
  func :: m Int -> m Int

instance (Monad m) => Func m where