path: root/src/Inky/Erased.idr

module Inky.Erased

public export
record Erased (t : Type) where
  constructor Forget
  0 val : t