• Could not deduce (HasServer layout0)
    arising from a type ambiguity check for
    the type signature for ‘route’
  from the context: HasServer layout
    bound by the type signature for:
               route :: forall layout.
                        HasServer layout =>
                        Server layout -> Request -> Maybe (IO String)
    at C:\Users\Iurii\Documents\MEGA\Haskell\Bragilevsky\13\api\Api3.hs:(71,3)-(75,21)
  The type variable ‘layout0’ is ambiguous
• In the ambiguity check for ‘route’
  To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
  When checking the class method:
    route :: forall layout.
             HasServer layout =>
             Server layout -> Request -> Maybe (IO String)
  In the class declaration for ‘HasServer’typecheck(-Wdeferred-type-errors)
• Couldn't match type: Server layout0
                 with: Server layout
  Expected: Server layout -> Request -> Maybe (IO String)
    Actual: Server layout0 -> Request -> Maybe (IO String)
  NB: ‘Server’ is a non-injective type family
  The type variable ‘layout0’ is ambiguous
• In the ambiguity check for ‘route’
  To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
  When checking the class method:
    route :: forall layout.
             HasServer layout =>
             Server layout -> Request -> Maybe (IO String)
  In the class declaration for ‘HasServer’typecheck(-Wdeferred-type-errors)