Refine import.

This commit is contained in:
Yamada Ryo 2023-10-02 23:42:49 +09:00
parent fdf87b80b5
commit d89d6968bc
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF

View File

@ -16,7 +16,14 @@ implementation.
module Data.Free.Union where
import Control.Effect.Class (Instruction, type (~>))
import Control.Effect.Class.Machinery.DepParam
import Control.Effect.Class.Machinery.DepParam (
DepParams,
DepParamsOf,
EffectClassIdentifier,
EffectClassIdentifierOf,
InsClassOf,
QueryDepParamsFor,
)
import Data.Kind (Constraint, Type)
import GHC.TypeLits (ErrorMessage (ShowType, Text, (:$$:), (:<>:)), TypeError)