------------------------------------------------------------

import MonadIO.NamedHandle  ( HEncoding( NoEncoding ), ℍ, handle )
import MonadIO.OpenFile     ( FileOpenMode( FileR ), openFile )

--------------------------------------------------------------------------------

type 𝔹𝕊 = ByteString

class MkInputStream α where
  mkIStream ∷ ∀ ε μ .