Maybe: type of Base
Import: import Base
Lines 32-34 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=32&end_line=34

import Base

type Maybe<a, -A: Kind(a)> is Kind(a):
  None{}
  Some{value: A}

Uses (0):