Yes that is exactly what I was thinking for the first step, “Cleave base in two”.
List and Maybe are perfectly innocent definitions, but as they are wired-in they will end up on the GHC-specific side. That’s not ideal, but it’s perfectly fine for the first stab at this.