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

import Base

type List<a, -A: Kind(a)> is Kind(a):
  Nil{}
  Con{head: A, tail: List<a, A>}

Uses (0):